]> dgit.raspbian.org Git - gnome-shell.git/commit
projects / gnome-shell.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f8cd01c) | patch
build: Fix manpage generation at dist time
authorFlorian Müllner <fmuellner@gnome.org>
Tue, 25 May 2021 14:31:29 +0000 (16:31 +0200)
committerMarge Bot <marge-bot@gnome.org>
Tue, 25 May 2021 18:45:53 +0000 (18:45 +0000)
commit55fcb3aa00d50c55832ac47bb5a891ed243c8420
treef016c1f6ce5c22258027242438b765f54e671508tree | snapshot
parentf8cd01c6dcdc70cc4539671aef7f6eac76fbdc7fcommit | diff
build: Fix manpage generation at dist time

The AsciiDoc API only exposes the capabilities of asciidoc, but not
the related a2x tool. Fix generating the manpages by shelling out
to the command line tool instead.

https://gitlab.gnome.org/GNOME/gnome-shell/-/issues/4320

Part-of: <https://gitlab.gnome.org/GNOME/gnome-shell/-/merge_requests/1859>
meson/generate-manpages.py diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.